Practical Verification Strategy for Refinement Conditions in UML Models
نویسندگان
چکیده
This paper presents an automatic and simple method for creating refinement condition for UML models. Conditions are fully written in OCL, making it unnecessary the application of mathematical languages which are in general hardly accepted to software engineers. Besides, considering that the state space where OCL conditions are evaluated might be too large (or even infinite), the strategy of micromodels is applied in order to reduce the search space. The overall contribution is to propitiate the performing of verification activities during the model-driven development process.
منابع مشابه
Verifying Behavioral UML Systems via CEGAR
Abstract. This work presents a novel approach for applying abstraction and refinement in the verification of behavioral UML models. The Unified Modeling Language (UML) is a widely accepted modeling language for embedded and safety critical systems. As such the correct behavior of systems represented as UML models is crucial. Model checking is a successful automated verification technique for ch...
متن کاملA precise approach to validating UML models and OCL constraints
The Unified Modeling Language (UML) is a widely accepted standard for modeling software systems. The UML supports object-oriented approaches to software development with a rich set of modeling concepts. The graphical notation of UML includes diagrams such as use case diagrams, class diagrams, state diagrams and sequence diagrams. These are used for describing static as well as dynamic aspects o...
متن کاملA Pattern-Based Approach for Modeling and Analysis of Error Recovery
Several approaches exist for modeling recovery of faulttolerant systems during the requirements analysis phase. Most of these approaches are inclined by design techniques for recovery. Such designbiased analysis methods unnecessarily constrain an analyst when specifying recovery requirements. To remedy such restrictions, we present an object analysis pattern, called the corrector pattern, that ...
متن کاملMapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net
This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...
متن کاملClass and Capsule Refinement in UML for Real Time
We propose refinement laws for the top level design elements of Real Time UML (UML-RT): classes and capsules. These laws can be used to develop concrete design models from abstract analysis models. Laws for introducing and decomposing classes and capsules are presented. Standard data refinement techniques are adapted for classes, and process refinement techniques for capsules. We also propose t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006